TWiki > Octave > WebHome (book view)	TWiki webs: Main | TWiki | Sandbox
	Octave . { }

Developers

The Stratego Octave Compiler is being developed at the Institute of Computer Science at Utrecht University. The main developers are,

• Remko van Beusekom
• Karina Olmos
• Rob Vermaas

To help the Typechecker we have a language for specifying type of builtin variables and functions. This is needed because we cannot derive types for these variables and functions.

definitions
  constants 
    do_fortran_indexing :=  int
    e       := float
    eps     := float
    pi      := float
    ...
  variables
    warn_fortran_indexing := int
    warn_num_to_str := int
    ...
  functions
    ...
    date    :: -> string 
    time    :: -> float
    ctime   :: float -> string
    isieee  :: -> int
    fnmatch :: string, matrix(char) -> matrix(int)
    fnmatch :: string, string -> int
    ...

-- JayaSurian - 12 Jan 2005

Packages

• Octave Frontend
• Octave Optimizer
• Octave Typechecker
• Octave to C++ Backend

Developers

• Daily generated documentation (by xDoc)
• Roadmap
• What's going on

Other useful resources

• Octave mailing lists archives
• Octave manual
• Dal Segno al Coda - The octave dynamically linked function cookbook
• Octave to C++ compiler by Jens Ruecknagel

Prerequisites

The following software is needed to compile the Octave Compiler

• Octave (version > 2.1.61)
• Latest unstable StrategoXT

Download

The latest unstable release is available from

• http://catamaran.labs.cs.uu.nl/dist/stratego/octavec-unstable-latest/

The latest sources are available from

• https://svn.cs.uu.nl:12443/repos/octave/octavec/trunk/

November 15th 2004 - New wiki!

Started new wiki which should hold all the information about the Stratego Octave Compiler.

Octave Front is a front-end for the Octave language.

Contents

Octave Front consists of the following end-user tools:

• octave-frontend
• pack-octave
• pp-octave^?

Besides these tools, the packages holds an SDF syntax definition of an unambiguous variant of Octave, meant for transformations with concrete syntax.

The latest sources of Octave Front can be found at

• https://svn.cs.uu.nl:12443/repos/octave/octavec/trunk/octave-front/

Contents

The Octave Optimizer implements several optimization on Octave code. The optimizations are implemented as source-to-source transformation, similar to the optimization described in the following paper,

• K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies (WRS'02), volume 70 of Electronic Notes in Theoretical Computer Science, page 20, Copenhagen, Denmark, July 2002. Elsevier Science Publishers. (entcs,pdf,bib).

The latest sources of the Octave Optimizer can be found at

• https://svn.cs.uu.nl:12443/repos/octave/octavec/trunk/octave-opt/

Optimizations

Constant Folding

Constant Propagation

Dead Code Elimination

Loop optimizations

Besides the previously mentioned optimizations, the Stratego Octave Compiler has some experimental support for loop optimizations. Remko van Beusekom is implementing these optimization as part of his Master thesis project. The loop optimizations are a variant to the optimizations described in the following book,

• Ken Kennedy and John R. Allen. Optimizing compilers for modern architectures: a dependence-based approach. 2002. Morgan Kaufmann Publishers Inc. (bib).

Loop vectorization

The Octave to C++ Backend is a C++ code generator. It performs the following translations,

• Octave to .oct^? (dynamically linked function^?
• Octave to C++ (standalone)^?

The latest sources of the Octave Optimizer can be found at

• https://svn.cs.uu.nl:12443/repos/octave/octavec/trunk/octave2c/

Example (factorial)

Consider the following Octave function,

function x = factorial(n)
     x = 1;
     while(n>1)
      x = x * n;
      n = n -1;
     end
endfunction

Using Octave to .oct^? compilation, it results in (without the includes),

DEFUN_DLD (factorial, args, nargout, "")
{
  octave_value_list c_0;
  octave_value x;
  octave_value n;
  n = args(0);
  x = 1;
  while ( do_binary_op(octave_value::op_gt, n, 1).all().all().bool_array_value()(0) )
    {
      x = do_binary_op(octave_value::op_mul, x, n);
      n = do_binary_op(octave_value::op_sub, n, 1);
    }
  c_0(0) = x;
  return(c_0);
}

Using Octave to C++ (standalone)^? compilation, the following script

for n = 1:1000
   b = factorial(n);
end
b

results in,

void a_0_c_0 ()
{
  double n;
  double b;
  int d_0;
  for ( d_0 = 0 ; (d_0 < floor((((1000 - 1) + 1) / 1))) ; d_0++ )
    {
      n = (1 + (d_0 * 1));
      b = factorial_d_0(n);
    }
  set_global_value("ans", b);
  get_global_value("ans").print_name_tag(std::cout, "ans");
  get_global_value("ans").print(std::cout);
}
double factorial_d_0 (double n)
{
  double x;
  x = 1;
  while ( (n > 1) )
    {
      x = (x * n);
      n = (n - 1);
    }
  return(x);
}
int main ()
{
  init_octave_internals();
  a_0_c_0();
}

The Octave Type Inferencer is a typechecker for the Octave language. Although the implementation has changed significantly, currently the ideas are only expressed in the following paper,

• K. Olmos and E. Visser. Turning Dynamic Typing into Static Typing by Program Specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'03), pages 141--150, Amsterdam, The Netherlands, September 2003. IEEE Computer Society Press. (ieee, info, tr, pdf, bib).

Contents

The latest sources of the Octave Typechecker can be found at

• https://svn.cs.uu.nl:12443/repos/octave/octavec/trunk/octave-tc/

The Octave Typechecker uses a list of manually specified types of built-in, mapping or dynamically loaded function (see also Function Type Specification).

Octave Types

• Base types
  • Integer
  • Float
  • Boolean
  • Function handle
  • String
• Composite types
  • Array of <base-type>
  • Cell array
  • Struct
• Universal type

TODO

• Separate processes
  • Type-inferencing^?
  • Type based optimization

-- JayaSurian - 12 Jan 2005

0.1

• Generate dynamically loaded function^? (.oct file) from user defined function^?

0.2

• Support feval for user-defined functions

Web	TWiki Site Map	Use to...
Main	The Main web is dedicated to the maintenance of this website. This is the place to discuss meta-issues such as what style to use, how best to organize a survey, what the ideal topic size is, how to refer to papers, what the preferred layout of the site should be, etc.	...
TWiki	Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs...	...discover TWiki details, and how to start your own site.
Gmt	Generative Model Transformer
Gpce
Octave	The Stratego web is the home of Stratego, a language for program transformation based on the paradigm of rewriting strategies. The aim of this language is to provide an expressive and declarative language for expressing all kinds of program transformations. The web includes publications on Stratego, download of the StrategoCompiler, documentation, and descriptions of applications.	...
Sandbox	Sandbox test area with all features enabled.	...experiment in an unrestricted hands-on web.
Sdf	The Sdf web is dedicated to the modular syntax definition formalism SDF. Here you can find implementations, pointers to download pages, syntax definitions for common languages, discussions about new features and implementatios of SDF, and tips and tricks for using the formalism.	...
SdfBackup	The Sdf web is dedicated to the modular syntax definition formalism SDF. Here you can find implementations, pointers to download pages, syntax definitions for common languages, discussions about new features and implementatios of SDF, and tips and tricks for using the formalism.	...
Stratego	The Stratego web is the home of Stratego, a language for program transformation based on the paradigm of rewriting strategies. The aim of this language is to provide an expressive and declarative language for expressing all kinds of program transformations. The web includes publications on Stratego, download of the StrategoCompiler, documentation, and descriptions of applications.	...
Sts	The Sofware Transformation Systems wiki
Tiger	Home of the Tiger in Stratego project, which is concerned with the exploration of transformation techniques in compilation using an implementation of a Tiger compiler.	...
Tools	The Tools web is the home of the XT? bundle of program transformation tools. XT is an open framework for program transformation based on the ATerm format for exchange of programs between tools. The bundle includes packages for parsing, pretty-printing, term rewriting, and grammar recovery. It also contains a distribution of the SDF2? GrammarBase?. The OnlinePackageBase is an open collection of packages for program transformation supporting package bundling on demand.	...
Transform	The Transform web is an attempt to get an overview of program transformation research and application. In the first place the web is a collection of resources such as pointers to researchers, conferences, journals, summaries and reviews of papers, and tools for implementing transformation systems. In the second place the Transform web attempts to bring structure in the world of program transformation by means of categories, taxonomies such as the TransformationTaxonomy, and entry points such as the ReengineeringWiki and the DeCompilation page.	...
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@strategoxt.org if you need a separate collaboration web for your team. See also AdminTools.

Legend of icons:

= Go to the home of the web = Search the web

= See recent changes in the web = Subscribe to get notified of changes by e-mail

Typed based optimizations are optimizations that can be performed based on information from the type inferencer, e.g.

Function call evaluation using type information

a = [ 1 2 ; 3 4 ]
b = ismatrix(a)

The type inferencer can determine that a is of type matrix. Therefore, we can rewrite this to,

a = [ 1 2 ; 3 4 ]
b = true

Home

• About
• News
• Documentation
• Bugs
• Download

search | index | recent changes | statistics     printable | refresh | edit | history | more actions

Octave

GNU Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments using a language that is mostly compatible with Matlab. It may also be used as a batch-oriented language.

Octave Compiler

The Stratego Octave Compiler is a compiler for the Octave language. It compiles Octave code to C++ code which uses liboctave.

• AboutOctaveCompiler
• FunctionTypeSpecification
• Octave-frontend
• OctaveCompilerDocumentation
• OctaveCompilerDownload
• OctaveCompilerNews
• OctaveFrontend
• OctaveOptimizer
• OctaveToC
• OctaveTypeInferencer
• Pack-octave
• ReleaseRoadmap
• SiteMap
• TypeBasedOptimization
• UpdateWebPages
• WebChanges
• WebChanges100
• WebChanges200
• WebChanges500
• WebContents
• WebCustomMenus
• WebFooter
• WebHome
• WebIndex
• WebLeftBar
• WebNews
• WebNotify
• WebPreferences
• WebRss
• WebSearch
• WebStatistics
• WebTools
• WhatsGoingOn

Home

• About
• News
• Documentation
• Bugs
• Download

2002-01-23

• Creation of WebNews for _default web -- EelcoVisser

WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Octave web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe to the service, please put yourself on the list below. The format is: 3 spaces * Main.yourWikiName - yourEmailAddress

• EelcoVisser - visser@cs.uu.nl

Note: It is helpful to insert your name in alphabetical order (by first name -- ignore the "Main.") -- then you can find your name (or not) more easily if you wish to remove it or confirm that you are on the list.

Related topics: TWikiUsers, TWikiRegistration

TWiki.Octave Web Preferences

The following settings are web preferences of the TWiki.Octave web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)

The following settings are web preferences of the TWiki.Octave web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web)

• • Set FTP = ftp://ftp.stratego-language.org/pub
  • Set SVNROOT = https://svn.cs.uu.nl:12443/repos
  • Set DUMPROOT = https://svn.cs.uu.nl:12443/dist/StrategoXT
  • Set SVNSTRATEGOXT = https://svn.cs.uu.nl:12443/repos/StrategoXT
  • Set JIRA = https://catamaran.labs.cs.uu.nl/jira
  • Set ISSUE = https://catamaran.labs.cs.uu.nl/jira/browse

Preferences:

• • Set PAGEHEADERCONTENTS =

• • Set WEBTITLE = Octave-Compiler.org
  • Set SHORTWEBTITLE = Octave
  • Set WEBSUBTITLE = Octave-Compiler.org

• • Set WEBLOGO = /pub/Stratego/StrategoLogo/StrategoLogoTextlessWhite-100px.png
  • Set WEBICON = /pub/Stratego/StrategoLogo/stratego-logo-16only.ico

• List of topics of the TWiki.Octave web:
  • Set WEBTOPICLIST =

• Web specific background color: (Pick a lighter one of the StandardColors)
  • Set WEBBGCOLOR = #EEEEAA

• Web specific background color: (Pick a lighter one of the StandardColors)
  • Set WEBCONTENTBGCOLOR = #EEEEAA

• List this web in the SiteMap:
  • If yes, Set SITEMAPLIST = on, and add the "what" and "use to..." description for the site map. Make sure to list only links that include the name of the web, e.g. Octave.Topic links.
  • Set SITEMAPLIST = on
  • Set SITEMAPWHAT = The Stratego web is the home of Stratego, a language for program transformation based on the paradigm of rewriting strategies. The aim of this language is to provide an expressive and declarative language for expressing all kinds of program transformations. The web includes publications on Stratego, download of the StrategoCompiler, documentation, and descriptions of applications.
  • Set SITEMAPUSETO = ...

• Exclude web from a web="all" search: (Set to on for hidden webs)
  • Set NOSEARCHALL =

• Default template for new topics and form(s) for this web:
  • WebTopicEditTemplate^?: Default template for new topics in this web. (Site-level is used if topic does not exist)
  • TWiki.WebTopicEditTemplate: Site-level default template
  • TWikiForms: How to enable form(s)
  • Set WEBFORMS =

• Users or groups who are not / are allowed to view / change / rename topics in the Octave web: (See TWikiAccessControl)
  • Set DENYWEBVIEW =
  • Set ALLOWWEBVIEW =
  • Set DENYWEBCHANGE = TWikiGuest
  • Set ALLOWWEBCHANGE =
  • Set DENYWEBRENAME = TWikiGuest
  • Set ALLOWWEBRENAME =

• Users or groups allowed to change or rename this WebPreferences topic: (I.e. TWikiAdminGroup)
  • Set ALLOWTOPICCHANGE = TWikiAdminGroup RobVermaas
  • Set ALLOWTOPICRENAME = TWikiAdminGroup RobVermaas

• Web preferences that are not allowed to be overridden by user preferences:
  • Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Notes:

• A preference is defined as:
  6 spaces * Set NAME = value
  Example:
  • Set WEBBGCOLOR = #FFFFC0
• Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
  • When you write variable #EEEEAA , it gets expanded to #EEEEAA .
• The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since =Copyright © 1999-2020 by the contributing authors.

• You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).

Related Topics:

• TWikiPreferences has site-level preferences.
• TWikiUsers has a list of user topics. User topics can have optional user preferences.
• TWikiVariables has a list of common %VARIABLES%.
• TWikiAccessControl explains how to restrict access by users or groups.

• Set SKIN = bluebox

• Set OCTAVELINK = Octave

http://octave-compiler.org Octave-Compiler.org en-us Copyright 2020, Contributing authors of Program-Transformation.Org. Program-Transformation.Org Program-Transformation.Org TWiki http://www.program-transformation.org/Octave/WebStatistics Statistics for TWiki.Octave Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2016 1279 ... 2016-10-18T17:12Z guest 1.410 updated major /rdiff/Octave/WebStatistics /rdiff/Octave/WebStatistics http://www.program-transformation.org/Octave/WebContents Home About News Documentation Bugs Download 2005-06-05T11:34Z EelcoVisser 1.1 updated major /rdiff/Octave/WebContents /rdiff/Octave/WebContents http://www.program-transformation.org/Octave/WebRss Octave Compiler http://octave-compiler.org Octave-Compiler.org INCLUDE{"Main.RssBase"} 2005-05-09T14:21Z MartinBravenboer 1.2 updated major /rdiff/Octave/WebRss /rdiff/Octave/WebRss http://www.program-transformation.org/Octave/WhatsGoingOn 2005 January 14th Refactored function specialization, so it can be reused is both the type inferencer and the Octave partial evaluator. In fact, it is already used ... 2005-01-14T11:37Z RobVermaas 1.7 updated major /rdiff/Octave/WhatsGoingOn /rdiff/Octave/WhatsGoingOn http://www.program-transformation.org/Octave/Pack-octave Main.JayaSurian 12 Jan 2005 2005-01-12T13:55Z JayaSurian 1.1 updated major /rdiff/Octave/Pack-octave /rdiff/Octave/Pack-octave http://www.program-transformation.org/Octave/Octave-frontend Main.JayaSurian 12 Jan 2005 2005-01-12T13:17Z JayaSurian 1.1 updated major /rdiff/Octave/Octave-frontend /rdiff/Octave/Octave-frontend http://www.program-transformation.org/Octave/OctaveCompilerDocumentation Packages Octave Frontend Octave Optimizer Octave Typechecker Octave to C++ Backend Developers Daily generated documentation (by xDoc) Roadmap going on Other useful ... 2004-12-17T08:48Z RobVermaas 1.9 updated major /rdiff/Octave/OctaveCompilerDocumentation /rdiff/Octave/OctaveCompilerDocumentation http://www.program-transformation.org/Octave/OctaveCompilerDownload Prerequisites The following software is needed to compile the Octave Compiler Octave (version 2.1.61) Latest unstable StrategoXT Download The latest unstable release ... 2004-12-07T17:48Z RobVermaas 1.5 updated major /rdiff/Octave/OctaveCompilerDownload /rdiff/Octave/OctaveCompilerDownload http://www.program-transformation.org/Octave/WebChanges SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" format " $topic(30,...) $date $wikiusername "} 2004-12-04T19:16Z MartinBravenboer 1.3 updated major /rdiff/Octave/WebChanges /rdiff/Octave/WebChanges http://www.program-transformation.org/Octave/OctaveOptimizer Contents The Optimizer implements several optimization on Octave code. The optimizations are implemented as source-to-source transformation, similar to the optimization ... 2004-12-02T08:03Z RobVermaas 1.5 updated major /rdiff/Octave/OctaveOptimizer /rdiff/Octave/OctaveOptimizer http://www.program-transformation.org/Octave/WebLeftBar Home About News Documentation Bugs Download 2004-12-01T12:45Z RobVermaas 1.5 updated major /rdiff/Octave/WebLeftBar /rdiff/Octave/WebLeftBar http://www.program-transformation.org/Octave/OctaveTypeInferencer The Type Inferencer is a typechecker for the Octave language. Although the implementation has changed significantly, currently the ideas are only expressed in the ... 2004-11-23T11:58Z RobVermaas 1.6 updated major /rdiff/Octave/OctaveTypeInferencer /rdiff/Octave/OctaveTypeInferencer http://www.program-transformation.org/Octave/TypeBasedOptimization Typed based optimizations are optimizations that can be performed based on information from the type inferencer, e.g. Function call evaluation using type information ... 2004-11-22T11:00Z RobVermaas 1.2 updated major /rdiff/Octave/TypeBasedOptimization /rdiff/Octave/TypeBasedOptimization http://www.program-transformation.org/Octave/FunctionTypeSpecification To help the Typechecker we have a language for specifying type of builtin variables and functions. This is needed because we cannot derive types for these variables ... 2004-11-22T08:57Z RobVermaas 1.2 updated major /rdiff/Octave/FunctionTypeSpecification /rdiff/Octave/FunctionTypeSpecification http://www.program-transformation.org/Octave/OctaveToC The Octave to C++ Backend is a C++ code generator. It performs the following translations, to .oct (linked function to C++ (standalone) The latest sources of the Octave ... 2004-11-19T15:21Z RobVermaas 1.3 updated major /rdiff/Octave/OctaveToC /rdiff/Octave/OctaveToC http://www.program-transformation.org/Octave/OctaveFrontend Octave Front is a front-end for the OCTAVELINK language. Contents Octave Front consists of the following end-user tools: pack-octave pp-octave Besides these tools ... 2004-11-19T08:46Z RobVermaas 1.4 updated major /rdiff/Octave/OctaveFrontend /rdiff/Octave/OctaveFrontend

Number of topics: 0

• Topic index: List of Octave topics in alphabetical order.
  |All|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|
  | All topics in BookView |

• Jump to topic: If you already know the name of the topic, enter the name of the topic into the GoBox at the top

• WebChanges: Find out what topics in Octave have changed recently

• How to edit text:
  • Make changes to topics in GoodStyle,
  • Learn the TextFormattingRules, and
  • Have a look at the TextFormattingFAQ

Statistics for TWiki.Octave Web

Notes:

• Do not edit this topic, it is updated automatically. (You can also force an update)
• TWikiDocumentation tells you how to enable the automatic updates of the statistics.
• Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

Finding topics

• RoadMap^?
• WebIndex: all topics in the Octave web
• WebSearch: find topics

Tracking activity

• WebNews: selected changes
• WebChanges: recent changes
• WebNotify: email notification of changes
• WebStatistics: usage counts

Look and feel

• WebPreferences: values of variables
• WebContents: web specific entries in the side bar

2005

January 14th

Refactored function specialization, so it can be reused is both the type inferencer and the Octave partial evaluator. In fact, it is already used in the new versions of the given tools.

Known issues,

• Varargin not yet supported
• Add some code to see what is happening, or why something is failing
• Recursive functions not yet supported, old type inferencer only supported self-recursion, so will first implement this.

The partial evaluator is now reusing the octave optimizer, Octave-SuperOpt, which combines constant propagation, copy propagation and common subexpression elimination.

January 7th

Weekend thoughts

• What is the status of the compiler?
• What to talk about at Sixth Stratego User Days

Note to self: borrow FC3 DVD from Arthur to gather RPM's for making of an octavec RPM.

January 5th

New year, broken computer. Time to check what is bothering me still in the compiler, results of old code.

• String representation in AST
• Internal tools in [prefix]/bin directory
• Function handle constant propagation
• Traversal of pack-octave, should use generic forward dataflow strategy

And a lot more I can't think of at the moment...

2004

December 17th

Working on a rewrite of the type inferencer. Why do I have the need to rewrite everything :-S ? Anyway, it gives a good insight in what as working in the old situation and what wasn't working (correctly).

Today it is times to add the rules for binary operators. Not difficult, just a lot of work. Next issue will be type based function specialization.

When the type inferencer is finished, I will define a backward propagation strategy, which we will use to rewrite optimizations like dead code elimination.

We should definitely look at the following optimizations:

• Pre-allocation of arrays, for which we need more shape information than we calculate at the moment
• Procedure Strength Reducation and Procedure Vectorization

Number of topics: 33